Marian B. Pour-El: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable

Marian B. Pour-El, Ning Zhong

Journal:

Mathematical Logic Quarterly

Year:

1997

Language:

english

File:

PDF, 456 KB

english, 1997

2

Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)

Pour-el, Marian Boykan

Journal:

Transactions of the American Mathematical Society

Year:

1974

Language:

english

File:

PDF, 2.53 MB

english, 1974

3

Deduction-preserving “recursive isomorphisms” between theories

Pour-El, Marian Boykan, Kripke, Saul

Journal:

Bulletin of the American Mathematical Society

Year:

1967

Language:

english

File:

PDF, 431 KB

english, 1967

4

Independent Axiomatization and its Relation to the Hypersimple Set

Marian Boykan Pour-El

Journal:

Mathematical Logic Quarterly

Year:

1968

Language:

english

File:

PDF, 523 KB

english, 1968

5

The wave equation with computable initial data such that its unique solution is not computable

Marian Boykan Pour-El, Ian Richards

Journal:

Advances in Mathematics

Year:

1981

Language:

english

File:

PDF, 1.27 MB

english, 1981

6

Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators

Marian Boykan Pour-El, Ian Richards

Journal:

Advances in Mathematics

Year:

1983

Language:

english

File:

PDF, 1.66 MB

english, 1983

7

A computable ordinary differential equation which possesses no computable solution

Marian Boylan Pour-el, Ian Richards

Journal:

Annals of Mathematical Logic

Year:

1979

Language:

english

File:

PDF, 1.05 MB

english, 1979

8

Recursively enumerable classes and their application to recursive sequences of formal theories

Marian Boykan Pour-El, Hilary Putnam

Journal:

Archive for Mathematical Logic

Year:

1965

Language:

english

File:

PDF, 1.02 MB

english, 1965

9

The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not

Marian Boykan Pour-El, Ian Richards

Journal:

Advances in Mathematics

Year:

1987

Language:

english

File:

PDF, 2.14 MB

english, 1987

10

Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)

Marian Boykan Pour-El

Journal:

Transactions of the American Mathematical Society

Year:

1974

Language:

english

File:

PDF, 2.12 MB

english, 1974

11

Computability and Noncomputability in Classical Analysis

Marian Boykan Pour-El and Ian Richards

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 2.21 MB

english, 1983

12

Computability and noncomputability in classical analysis

Pour-El, Marian Boykan, Richards, Ian

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 1.99 MB

english, 1983

13

A Comparison of Five “Computable” Operators

Marian Boykan Pour-El

Journal:

Mathematical Logic Quarterly

Year:

1960

Language:

english

File:

PDF, 785 KB

english, 1960

14

A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION

Marian Boykan Pour-El, William A. Howard

Journal:

Mathematical Logic Quarterly

Year:

1964

Language:

english

File:

PDF, 573 KB

english, 1964

15

On a simple definition of computable function of a real variable-with applications to functions of a complex variable

Marian Boykan Pour-El, Jerome Caldwell

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 1.19 MB

english, 1975

16

From axiomatics to intrinsic characterization: Some open problems in computable analysis

Marian Boykan Pour-El

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 743 KB

english, 1999

17

Noncomputability in models of physical phenomena

Marian Boykan Pour-El, Ian Richards

Journal:

International Journal of Theoretical Physics

Year:

1982

Language:

english

File:

PDF, 132 KB

english, 1982

18

A Recursion-theoretic View of Axiomatizable Theories

Marian Boykan Pour-El

Journal:

Year:

1970

Language:

english

File:

PDF, 531 KB

english, 1970

19

MATHEMATICIAN

Marian Boykan Pour-El

Journal:

Annals of the New York Academy of Sciences

Year:

1973

Language:

english

File:

PDF, 144 KB

english, 1973

20

Un Contre-Exemple Relatif aux Fonctionnelles Récursives.by Richard Friedberg

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 82 KB

english, 1959

21

Effectively Extensible Theories

Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 1.11 MB

english, 1968

22

On the Degrees Less than 0'by Gerald E. Sacks

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 199 KB

english, 1964

23

Splinters of Recursive Functionsby J. S. Ullian

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 288 KB

english, 1966

24

A Theorem on Hyperhypersimple Setsby Donald A. Martin

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 191 KB

english, 1966

25

Theory of Formal Systemsby Raymond M. Smullyan

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 437 KB

english, 1965

26

Partial Results Regarding Word Problems and Recursively Enumerable Degrees of Unsolvabilityby William W. Boone

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 206 KB

english, 1963

27

The Uniqueness of Finite Division for Recursive Equivalence Typesby Richard Friedberg

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 106 KB

english, 1960

28

Normierte Postsche Algorithmenby Günter Asser

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 129 KB

english, 1962

29

A Criterion for Completeness of Degrees of Unsolvabilityby Richard M. Friedberg

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 90 KB

english, 1960

30

Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplicationby Richard M. Friedberg

Review by: Marian Boykan Pour-El

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 123 KB

english, 1960

31

[ACM Press the 1978 annual conference - Washington, D.C., United States (1978.12.04-1978.12.06)] Proceedings of the 1978 annual conference on - ACM 78 - Computer Science And Recursion Theory

Pour-El, Marian Boykan

Year:

1978

Language:

english

File:

PDF, 441 KB

english, 1978

32

Gödel Numberings Versus Friedberg Numberings

Marian Boykan Pour-El

Journal:

Proceedings of the American Mathematical Society

Year:

1964

Language:

english

File:

PDF, 191 KB

english, 1964

33

Lp-Computability in Recursive Analysis

Marian Boykan Pour-El and Ian Richards

Journal:

Proceedings of the American Mathematical Society

Year:

1984

Language:

english

File:

PDF, 190 KB

english, 1984

34

“Recursive isomorphism” and effectively extensible theories

Pour-El, Marian Boykan

Journal:

Bulletin of the American Mathematical Society

Year:

1965

Language:

english

File:

PDF, 523 KB

english, 1965

35

Gödel numberings versus Friedberg numberings

Pour-El, Marian Boykan

Journal:

Proceedings of the American Mathematical Society

Year:

1964

Language:

english

File:

PDF, 477 KB

english, 1964

36

[Studies in Logic and the Foundations of Mathematics] Handbook of Computability Theory Volume 140 || The Structure of Computability in Analysis and Physical Theory

Marian Boykan, Pour-El

Year:

1999

Language:

english

File:

PDF, 1.07 MB

english, 1999

37

Computability in Analysis and Physics || Preface to the Series Perspectives in Mathematical Logic

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 126 KB

english, 2016

38

Computability in Analysis and Physics || Addendum: Open Problems

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 203 KB

english, 2016

39

Computability in Analysis and Physics || An Introduction to Computable Analysis

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 1.73 MB

english, 2016

40

Computability in Analysis and Physics || Prerequisites from Logic and Analysis

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 151 KB

english, 2016

41

Computability in Analysis and Physics || The First Main Theorem and Its Applications

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 1.40 MB

english, 2016

42

Computability in Analysis and Physics || Bibliography

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 263 KB

english, 2016

43

Computability in Analysis and Physics || Proof of the Second Main Theorem

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 2.01 MB

english, 2016

44

Computability in Analysis and Physics || Computability Structures on a Banach Space

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 838 KB

english, 2016

45

Computability in Analysis and Physics || Further Topics in Computable Analysis

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

46

Computability in Analysis and Physics || Introduction

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 350 KB

english, 2016

47

Computability in Analysis and Physics || Maps

Pour-El, Marian B., Richards, J. Ian

Year:

2016

File:

PDF, 26 KB

2016

48

Computability in Analysis and Physics || Authors' Preface

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 61 KB

english, 2016

49

Computability in Analysis and Physics || The Second Main Theorem, the Eigenvector Theorem, and Related Results

Pour-El, Marian B., Richards, J. Ian

Year:

2016

Language:

english

File:

PDF, 1.26 MB

english, 2016